#ifndef __WAVE_TRACER_H__
#define __WAVE_TRACER_H__
#include "model.h"
#include "verilated_vcd_c.h"

extern uint32_t sim_time;

void dump_wave();
void init_wave_tracer(char *filename);
void deinit_wave_tracer();

#endif